introduction to logic in discrete mathematics